namespace NDTU {
  int recordConformance(int argc, char * argv[]);
}

int main(int argc, char * argv[])
{
  return NDTU::recordConformance(argc, argv);
}
